Pots :a Oo Lotos Approach
نویسندگان
چکیده
منابع مشابه
6. Conclusions
At interaction point c, the environment can provide the number of a new instance of the station process. The next behavior expression consists in the new instance interleaved with the installer itself. We have presented a style of LOTOS specification based on synchronization between processes to exchange status information. This style takes full advantage of the capabilities of the control part...
متن کامل6. Conclusions
At interaction point c, the environment can provide the number of a new instance of the station process. The next behavior expression consists in the new instance interleaved with the installer itself. We have presented a style of LOTOS specification based on synchronization between processes to exchange status information. This style takes full advantage of the capabilities of the control part...
متن کاملOn Behavioural Subtyping in LOTOS
We consider how the OO notion of subtyping relates to lotos testing theory. In particular, we investigate which of the standard lotos preorders is a suitable instantiation of behavioural subtyping and argue that each of the main preorders, trace preorder, trace extension, reduction and extension, is in some way deecient. Then, in the light of pre and post condition based models of OO subtyping,...
متن کاملSpecifying features and analysing their interactions in a LOTOS environment
The plain old telephone service (POTS) is used for establishing a communication session between two users. A telephone feature, such as call waiting (cw), call forward on busy (cfb), and three way calling (3wc), is defined as an added functionality of POTS. Augmenting POTS with a small set of features is considered to be a technically straightforward job. Both the behaviours of POTS and the fea...
متن کاملStatus-Oriented Telephone Service Specification: An Exercise in LOTOS Style
The authors and other members of their group have already written some papers and research reports on specifying telephone call processing in LOTOS. Two such papers, where two differently organized specifications of the Plain Old Telephone System service (POTS) were presented, were [FLS 90][FLS 91]. The specification in the second paper was mainly in the constraint-oriented style, while the one...
متن کامل